Nuprl Definition : eq_lnk
11,40
postcript
pdf
eq_lnk(
a
;
b
) == eqof(idlnk-deq)(
a
,
b
)
latex
Definitions
idlnk-deq
,
eqof(
d
)
FDL editor aliases
eq_lnk
origin